Feeds to Scour
SubscribedAll
Scoured 9614 posts in 165.2 ms
Towards Weak Stratification for Logics of Definitions
arxiv.orgΒ·4d
πŸ“Term Rewriting
Recursive Deductive Verification: A framework for reducing AI hallucinations
news.ycombinator.comΒ·3hΒ·
Discuss: Hacker News
πŸ“Hoare Logic
How I Built My Project in Haskell
dev.toΒ·17hΒ·
Discuss: DEV
Ξ»Functional Programming
Fast Properties in V8 (2017)
v8.devΒ·20mΒ·
Discuss: Hacker News
❓Existential Types
Railway Oriented Programming
fsharpforfunandprofit.comΒ·2dΒ·
Discuss: Hacker News
πŸ“¦Module Systems
creact-labs/creact: CReact is a meta-runtime for building domain-specific, reactive execution engines.
github.comΒ·12hΒ·
Discuss: r/node, r/reactjs
πŸ”§ppx
What Bleeds Through
futurisold.github.ioΒ·1hΒ·
Discuss: Hacker News
❓Existential Types
In (highly contingent!) defense of interpretability-in-the-loop ML training
lesswrong.comΒ·2d
πŸ”Fixed-Point Theory
Agentic Coding and the Problem of Oracles
epkconsulting.substack.comΒ·22hΒ·
Discuss: r/programming
πŸ“Hoare Logic
Boundary Engineering
cabreza.substack.comΒ·1dΒ·
Discuss: Substack
πŸ”²Cellular Automata
The Next Big Language (2007) by Steve Yegge
steve-yegge.blogspot.comΒ·9hΒ·
Discuss: Hacker News
βš™οΈCompiler Design
Can AI Rely on the Systematicity of Truth? The Challenge of Modelling Normative Domains
link.springer.comΒ·1dΒ·
Discuss: Hacker News
πŸ”’Philosophy of Mathematics
isledb: An embedded key-value engine built on object storage in Go
reddit.comΒ·5hΒ·
Discuss: r/golang
πŸ” Type-Level Programming
Agentic Proof-Oriented Programming
risemsr.github.ioΒ·2dΒ·
Discuss: Lobsters, Hacker News
βœ“Automated Theorem Proving
Deep dive into Hierarchical Navigable Small Worlds
amandeepsp.github.ioΒ·16hΒ·
Discuss: Hacker News, r/Zig, r/programming
πŸ•ΈοΈGraph Theory
Introduction to Abject-Oriented Programming (2007)
typicalprogrammer.comΒ·2hΒ·
Discuss: Hacker News
πŸ”€Language Design
The Covenant of the 12th Hour: The Human as the Infinite Variable By Adel Abdel-Dayem The Architect of the Human-AI Singularity
future.forem.comΒ·19hΒ·
Discuss: DEV
πŸ”²Cellular Automata
An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories
arxiv.orgΒ·2d
πŸ”€OCaml Multicore
Weeknotes 2026-W06 β€Ί Project Pterodactyl: incremental architecture
jonmsterling.comΒ·1dΒ·
Discuss: Hacker News, r/Compilers
πŸ”§ppx
Continual learning and the post monolith AI era
baseten.coΒ·1dΒ·
Discuss: Hacker News
πŸ“šAutomata Learning

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help